exec("./universal.cs");
exec("./BPzIV/BPzIV.cs");
exec("./BSherman/BSherman.cs");
exec("./BT34/BT34.cs");
